﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using ExternalLibrary;

namespace MicroBenchmarks.ExternalClass
{
    /// <summary>
    /// A special category where the object state is required by another
    /// class from an external library that is not instrumented via Pex.
    /// This is to demonstrate how to handle such cases using Pex.
    /// </summary>
    public class ExtLibraryClass
    {        
        private ExternalStack istack;
        public ExtLibraryClass()
        {
            istack = new ExternalStack();
        }

        public void Push(int i)
        {
            istack.Push(i);
        }

        public int Pop()
        {
            return istack.Pop();
        }

        public int Size()
        {
            return istack.Size();
        }
    }
}
